Skip to content

Misc asyncio changes #373

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Jul 15, 2016
Merged

Misc asyncio changes #373

merged 7 commits into from
Jul 15, 2016

Conversation

gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Jul 15, 2016

Various fixes for the asyncio stubs I discovered while adding annotations to the crawl.py example from the asyncio repo. The biggest chunk is stubs for asyncio/locks.py.

(There's also a small change to cgi.pyi that crept in; I've submitted that as a separate PR so it will disappear once that's merged -- please merge #371 before this one.)

@matthiaskramm matthiaskramm merged commit 6d8628c into master Jul 15, 2016
@gvanrossum gvanrossum deleted the misc-asyncio branch July 18, 2016 02:35
hswong3i pushed a commit to alvistack/python-typeshed that referenced this pull request May 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants